1. Automatic verification methods for finite state systems : Proceedings
پدیدآورنده : J. Sifakis )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
407
2. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer network protocols-- Congresses
رده :
TK
5105
.
5
.
A97
1990
3. Data communications and their performance: proceedings of the sixth IFIP WG6.3 Conference on Performance of Computer Networks, Istanbul, Turkey, 1995
پدیدآورنده : edited by Serge Fdida and Raif O. Onvural
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Multimedia systems,Congresses ، Computer network protocols,Congresses ، Multiplexing,Congresses ، Telecommunication - Switching systems,Congresses ، Computer networks,Congresses ، Asynchronous transfer mode,Congresses ، Data transmission systems,Congresses ، Information superhighway
رده :
TK
5105
.
35
.
I55
1995
4. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
پدیدآورنده : sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
5. Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
رده :
QA
76
.
9
.
D5
.
I33845
1997
6. Human interactive proofs : second international Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings
پدیدآورنده : Henry S. Baird, Daniel P. Lopresti )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Pattern recognition systems,Congresses ، Computer network protocols,Congresses ، Computers -- Access control,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
3517
7. 1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993: : proceedings
پدیدآورنده : International Conference on Network Protocols )3991 : San Francisco, Calif.(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer network protocols- Congresses
8. Modelling and performance evaluation methodology: Proceedings of the International Seminar, Paris, France, January 24-26, 1983
پدیدآورنده : edited by F. Baccelli and G. Fayolle
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer networks,Congresses ، Queueing theory,Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
M63
1984
9. Multiple Access Communications
پدیدآورنده : \ [edited by] Magnus Jonsson...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Multiple access protocols (Computer network protocols) -- Congresses.,Digital communications -- Congresses.,Computer Communication Networks.,ارتباطات رقمی -- کنگرهها ,شبکههای ارتباطی کامپیوتری
رده :
TK
5105
.
5
.
M8
2015
E-Book
,
10. Multiple access channels
پدیدآورنده : / edited by Ezio Biglieri and L?szl? Gy?rfi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Multiple access protocols (Computer network protocols) , Congresses,Computer network protocols,Electronic books. , local
رده :
E-BOOK
11. Multiple access channels: theory and practice [electronic resource]
پدیدآورنده : / edited by Ezio Biglieri and Laaszlao Gyeorfi
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Multiple access protocols (Computer network protocols)--Congresses
رده :
EB
,
TK5105
.
55
.
N378
2006
12. Multiple access communications
پدیدآورنده : / Boris Bellalta ... [et al.] (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Digital communications--Congresses,Multiple access protocols (Computer network protocols)--Congresses
رده :
TK5103
.
7
.
M33
2012
13. Ninth International Conference on Network Protocols : ICNP 2001, 11-14 November 2001, Riverside, California, USA
پدیدآورنده : sponsored by IEEE, IEEE computer society, IEEE computer society, TCSE
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer network protocols
رده :
TK
5105
.
55
.
I65
2001
14. Proceedings, Ninth International Conference on Network Protocols: ICNP 2001: 11-14 November 2001, Riverside, California
پدیدآورنده : sponsored by IEEE, IEEE Computer Society, IEEE Computer Society, TCSE
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer network protocols
رده :
TK
5105
.
55
.
I5716
2001
15. Proceedings : 5th International Conference on Computer Communications and Networks, October 16-18, 1996, Rockville, Maryland
پدیدآورنده : Co-sponsored by Data Tech and NASA ; Technical co-sponsorship by IEEE Communication Society ; In cooperation with NSF ... ]et al.[
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer networks - Congresses , Computer network architectures - Congresses , Computer network protocols - Congresses
رده :
TK
5105
.
5
.
I5712
1996
16. Protocol specification, testing, and verification ... :Proceedings of the IFIP WG 6 .1 ... International Symposium on Protocol Specification, Testing, an
پدیدآورنده :
موضوع : Computer network protocols--Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Protocol specification, testing and verification, XIII : Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liege, Belgium, 25-28 May, 1993
پدیدآورنده : edited by A. Danthine, G. Leduc, P. Wolper
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer network protocols - Congresses
رده :
TK
5105
.
5
.
I34264
1993
18. Protocol specification, testing, and verification, XIII: proceedings of the IFIP WG 6.1, thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liege, Belgium, 25-28 May, 1993
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
I34264
1993
19. Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... International Conference on Protocol Specification, Testing, and Verification.
پدیدآورنده : IFIP WG 6.1 International Conference on Protocol Specification, Testing, and Verification.
موضوع : ، Computer network protocols- Congresses
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
20. Protocol specification,testing & verification,xii:proceedings of
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : COMPUTER NETWORK PROTOCOLS-CONGRESSES
رده :
TK
5105
.
5
.
I34264
1992